Formal systems specification - the RPC-memory specification case study

Författare
(Manfred Broy ... (ed.).)
Språk
Engelska
Förlag År Ort Om boken ISBN
Springer cop. 1996 Tyskland, Berlin 540 sidor.